https://bookem.ir/books/2148724-Logics-in-Artificial-Intelligence